Mapping Constraint Satisfaction Problems to Algorithms and Heuristics
نویسندگان
چکیده
Constraint satisfaction has received great attention in recent years and a large number of algorithms have been developed. Unfortunately, from the problem solvers’ point of view, it is very difficult to see when and how to use these algorithms. This paper points out the need to map constraint satisfaction problems to constraint satisfaction algorithms and heuristics, and proposes that more research should be done on how to retrieve the most efficient and effective algorithms and heuristics for a given problem. We claim that such algorithms/heuristics retrieval systems should also be valuable to guide future research.
منابع مشابه
Visual Analogy: Viewing Retrieval and Mapping as Constraint Satisfaction Problems
We examine the retrieval and mapping tasks of visual analogy as constraint satisfaction problems. We describe a constraint satisfaction method for the two tasks; the method organizes the source cases in a discrimination tree; uses heuristics to guide the search; performs backtracking, and searches all the source cases at once. We present an evaluation of this method for retrieval and mapping of...
متن کاملWordwise Algorithms and Improved Heuristics for Solving Hard Constraint Satisfaction Problems
We present two improvements for solving constraint satisfaction problems. First, we show that on problems that truly bring out the exponential complexity of CSPs, wordwise algorithms are extremely e ective. Then, based on probabilistic models of CSP algorithms, we derive new variable ordering heuristics that incorporate local information. Our experimental results show substantial gains with res...
متن کاملIrvine Algorithms and Heuristics for Constraint Satisfaction Problems
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : xiii Chapter
متن کاملWeight-based Heuristics for Constraint Satisfaction and Combinatorial Optimization Problems
In this paper, we propose mechanisms to improve instantiation heuristics by incorporating weighted factors on variables. The proposed weight-based heuristics are evaluated on several tree search methods such as chronological backtracking and discrepancy-based search for both constraint satisfaction and optimization problems. Experiments are carried out on random constraint satisfaction problems...
متن کاملOrdering Heuristics for Arc Consistency Algorithms
Arc consistency algorithms are used in solving constraint satisfaction problems and are important in constraint logic programming languages. Search order heuristics for arc consistency algorithms signiicantly enhance the ef-ciency of their implementation. In this paper we propose and evaluate several ordering heuristics. Care is taken with experimental design , involving random problems, and st...
متن کامل